/**
 * Copyright (c) 2010 CWI Amsterdam and others. All rights reserved.
 * This program and the accompanying materials are made available
 * under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * 
 * Contributors:
 *     CWI Amsterdam - initial API and implementation
 *
 * $Id$
 */
package nl.cwi.arne.ui;

import nl.cwi.arne.mcrl2.util.MCRL2Options;
import nl.cwi.arne.mcrl2.util.MCRL2Options.Equivalence;

import org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer;
import org.eclipse.jface.preference.IPreferenceStore;

/**
 * Preference initializer class.
 * @author Christian Krause
 */
public class ArnePreferenceInitializer extends AbstractPreferenceInitializer {
	
	/*
	 * (non-Javadoc)
	 * @see org.eclipse.core.runtime.preferences.AbstractPreferenceInitializer#initializeDefaultPreferences()
	 */
	@Override
	public void initializeDefaultPreferences() {
		IPreferenceStore store = ArneUIPlugin.getInstance().getPreferenceStore();
		store.setDefault(MCRL2Options.EQUIVALENCE, Equivalence.BISIM.name());
		store.setDefault(MCRL2Options.LTSCONVERT, true);
		store.setDefault(ArnePreferences.AUTO_SAVE, false);
		store.setDefault(ArnePreferences.REMOVE_INITIAL_STATES, true);
		store.setDefault(ArnePreferences.DELTA_LABELS, false);
		store.setDefault(ArnePreferences.VERBOSE_LABELS, false);
		store.setDefault(ArnePreferences.WITH_ZERO_CHANGES, true);
		store.setDefault(ArnePreferences.START_FROM_ZERO_CHANGE, true);
	}
	
}
